Compositional Programming

Compositional C++: Compositional Parallel Programming

A compositional parallel program is a program constructed by composing component programs in parallel where the composed pro gram inherits properties of its components In this paper we describe a small extension of C called Compositional C or CC which is an object oriented notation that supports compositional parallel programming CC integrates di erent paradigms of parallel pro gramming data pa...

Compositional logic programming

Relational program derivation has gathered momentum over the last decade with the development of many specification logics. However, before such relational specifications can be executed in existing programming languages, they must be carefully phrased to respect the evaluation order of the language. In turn, this requirement inhibits the rapid prototyping of specifications in a relational nota...

Multi-paradigm Logic Programming Compositional Logic Programming

Compositional Relational Programming with Name Projection and Compositional Synthesis

CombInduce is a methodology for inductive synthesis of logic programs, which employs a reversible meta-interpreter for synthesis, and uses a compositional relational target language for efficient synthesis of recursive predicates. The target language, Combilog, has reduced usability due to the lack of variables, a feature enforced by the principle of compositionality, which is at the core of th...

Compositional Analysis for Concurrent Constraint Programming

We propose a framework for the analysis of concurrent constraint programming (ccp). Our approach is based on simple denotational semantics which approximate the usual semantics in the sense that they give a superset of the input-output relation of a ccp program. Analyses based on these semantics can be easily and eeciently implemented using standard techniques from the analysis of logic programs .